(** Pseudo OCaml expressing function equality **)
compose f p' = compose g p'
